wayland: ensure gdk_device_manager_get_client_pointer() returns a master pointer
authorCarlos Garnacho <carlosg@gnome.org>
Wed, 13 Aug 2014 19:16:39 +0000 (21:16 +0200)
committerCarlos Garnacho <carlosg@gnome.org>
Tue, 26 Aug 2014 12:46:13 +0000 (14:46 +0200)
commit001327d999ac6527f026d3875fa7a84371fe16bf
tree7c5204fcd345baa92a7363cef609388ae8706d4e
parentdd464513a354b0a86486c57257e3ef3d1bc42686
wayland: ensure gdk_device_manager_get_client_pointer() returns a master pointer

The internal ordering of devices isn't quite guaranteed, so ensure we're returning
the right one.

https://bugzilla.gnome.org/show_bug.cgi?id=697855
gdk/wayland/gdkdevice-wayland.c